Verification of the Consistency between Use Case and Activity Diagrams - A Step Towards Validation of User Requirements

The requirements elicitation is a step between the user and developers to be precise and formal. This step requires understanding the requirements to be covered by the system and to express and formalize these requirements. For structuring, documenting and analysing user requirements, UML enjoys popularity within the academic and industrial communities. The use case diagram illustrates all functional requirements. In advanced step, all functionalities of a system can be represented and detailed by a set of activity diagrams. In our work, the requirement validation is to check that all requirements are covered by these functionalities. In this paper, we present a validation requirement approach of UML models based on a comparison of UML use case (requirement) and activity diagrams (functionality). This comparison ensures that the use case model and activities model are consistent. It is based on a set of rules. Furthermore, we give an overview of UML-Validation tool which automates the use of these rules.